1. <A> Manual of Intensional Logic
پدیدآورنده : \ Johan van Benthem
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic,منطق
رده :
E-Book
,
2. A companion to relativism
پدیدآورنده :
کتابخانه: Library of Farabi Campus of Tehran University (Qom)
موضوع :
رده :
BD
221
.
C65
2011
3. A manual of intensional logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic
رده :
P
25
.
C28
No
.
1
4. A manual of intentional logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic. ;
5. Categorial grammar /
پدیدآورنده : edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categorial grammar
رده :
P161
.
C38
1988
6. Categorial grammar
پدیدآورنده : edited by Wojech Buszkowski, witold Marciszewski, Johan van Benthem
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Categoria grammar
رده :
P
161
.
C38
1988
7. Games, norms and reasons :logic at the crossroads
پدیدآورنده : Johan van Benthem, Amitabba Gupta and Eric Pacuit
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Parikh, Rohit,6391-,Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical
رده :
BC
108
.
G36
2011
8. Handbook of Logic and Language
پدیدآورنده : / van Benthem, Johan F.A.K.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
9. Handbook of Spatial Logics
پدیدآورنده : \ Edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
10. Handbook of logic and language
پدیدآورنده : / Johan Van Benthem, Alice ter Meulen.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : پردازش زبان طبیعی,منطق ریاضی,معنی‌شناسی,-- دستنامه‌ها,-- دستنامه‌ها,-- دستنامه‌ها
رده :
QA
۷۶
/
۹
/
پ
۴۴
ھ
۹ ۱۳۹۰
11. Handbook of logic and language
پدیدآورنده : ]edited by[ Johan van Benthem, Alice ter Meulen
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Handbooks, manuals, etc ، Natural language processing )Computer science(,Handbooks, manuals, etc ، Logic, Symbolic and mathematical,Handbooks, manuals, etc ، Semantics
رده :
QA
76
.
9
.
N38H25
2011
12. Handbook of modal logic
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Handbooks, manuals, etc ، Modality )Logic(
رده :
BC
199
.
M6H36
2007
13. Handbook of modal logic /
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Modality (Logic), Handbooks, manuals, etc
رده :
BC199
.
M6
H36
2007
14. Handbook of spatial logics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Logic symbolic and mathematical
رده :
QA
9
.
65
.
H32
2007
15. Interactive logic :
پدیدآورنده : edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA269
.
I58
2007
16. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
17. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J F A K van
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Logic and Scientific Methods.
پدیدآورنده : Jaakko Hintikka
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Science_xPhilosophy.
19. Logic in games /
پدیدآورنده : Johan van Benthem
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Game theory,Logic
رده :
QA269
.
B36
2014
20. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
